Models of computation - PDFSEARCH.IO - Document Search Engine

Models of computation
Results: 1716

#	Item
961	Strong Function Call Steven Lyde and Matthew Might University of Utah Abstract. This work presents an incremental improvement to abstract interpretation of higher order languages, similar to strong update, which Add to Reading List Source URL: matt.might.net Language: English - Date: 2014-12-26 13:28:21 Theoretical computer science Abstract interpretation Applied mathematics Computer science Mathematics Models of computation Computability theory Lambda calculus
962	Action Selection and Individuation in Agent Based Modelling Joanna J. Bryson University of Bath Department of Computer Science Artificial models of natural Intelligence (AmonI) Add to Reading List Source URL: www.cs.bath.ac.uk Language: English - Date: 2004-04-26 12:17:49 Simulation Multi-agent systems Ethology Artificial intelligence Reactive planning Action selection Agent-based model Finite-state machine Social simulation Science Models of computation Scientific modeling
963	Bounded memory Dolev-Yao adversaries in collaborative systems Max Kanovich1 , Tajana Ban Kirigin2 , Vivek Nigam3 , and Andre Scedrov3 1 Queen Mary, University of London, UK Add to Reading List Source URL: bib.irb.hr Language: English - Date: 2010-09-30 13:57:08 Theory of computation Models of computation PSPACE-complete Non-deterministic Turing machine Cryptographic nonce Configuration Theoretical computer science Turing machine Applied mathematics
964	Logic Synthesis of Reversible Wave Cascades Portland Quantum Logic Group Alan Mishchenko and Marek Perkowski Department of Electrical and Computer Engineering Portland State University Portland, OR 97207, USA Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2002-05-17 14:51:54 Algebraic logic Mathematical logic Models of computation Digital electronics Electronic design automation Toffoli gate Quantum gate Canonical form Logic synthesis Logic gates Electronic engineering Theoretical computer science
965	Joint Review of1 Computational Complexity: A Conceptual Perspective by Oded Goldreich Published by Cambridge University Press, [removed]pages, Hardcover and Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2010-09-24 20:19:20 Complexity classes Probabilistic complexity theory Structural complexity theory Models of computation Pseudorandom generator Probabilistically checkable proof NP P versus NP problem Bounded-error probabilistic polynomial Theoretical computer science Computational complexity theory Applied mathematics
966	Report on Dagstuhl Seminar[removed]Semantics of Information Organized by Michael Mislove Tulane University Add to Reading List Source URL: drops.dagstuhl.de Language: English - Date: 2010-09-14 03:18:34 Models of computation Quantum information science Computational complexity theory Classes of computers Quantum computer Khovanov homology Quantum algorithm Quantum circuit Algorithm Theoretical computer science Applied mathematics Mathematics
967	Bounded memory Dolev-Yao adversaries in collaborative systems Max Kanovich Queen Mary, University of London, UK Tajana Ban Kirigin Add to Reading List Source URL: bib.irb.hr Language: English - Date: 2014-08-21 13:36:25 Associative containers Models of computation Applied mathematics Mathematics Multiset IP
968	Efficient Solution of Language Equations Using Partitioned Representations Alan Mishchenko, Robert Brayton, Roland Jiang Tiziano Villa Nina Yevtushenko Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2004-12-03 17:36:01 Computer science Finite-state machine Nondeterministic finite automaton Powerset construction Nested word Automata theory Theoretical computer science Models of computation
969	Department of Automatic Control & Systems Engineering would like to announce the following seminar: Sequentially Interacting Markov Chain Monte Carlo for Bayesian Computation Speaker: Prof Arnaud Doucet Add to Reading List Source URL: www.sheffield.ac.uk Language: English - Date: 2011-07-19 20:20:17 Computational statistics Probability and statistics Markov processes Markov chain Estimation theory Particle filter Statistics Markov models Monte Carlo methods
970	Lost in Translation: Forgetful Semantic Anchoring Daniel Balasubramanian Vanderbilt University Institute for Software Integrated Systems Nashville, TN Add to Reading List Source URL: www.isis.vanderbilt.edu Language: English - Date: 2012-05-01 10:13:00 Automata theory Computer science Finite-state machine SIGNAL Dataflow Meta-Object Facility Synchronous programming language Formal language Models of computation Software engineering Computing